home *** CD-ROM | disk | FTP | other *** search
/ Mac Power 1997 January / macpower199701.bin / AMUG / Programming_10 / IFSPLM 9.0.sit / IFSPLM 9.0 ƒ / IFSPLM 9.0.rsrc / TEXT_156.txt < prev    next >
Encoding:
Text File  |  1996-07-04  |  4.8 KB  |  127 lines

  1.  
  2.  
  3.                                       MATHEMATICAL
  4.                               PROGRAMMING SYSTEMS
  5.                                   II
  6.  
  7.                                                  BIOI //
  8.  
  9. There have been but three epoch-making mathematicians, Archimedes, Newton, and Eisenstein.
  10. --> Carl Friedrich Gauss. In: 
  11. E. T. Bell : Men of Mathematics. London, Victor Gollancz Ltd. 1937, p. 277
  12.  
  13. There have been but three epoch-making locicians, Aristotle, Frege, and Steve Jobs.
  14. --> Paraphrase of  **  by  A.P.H.
  15.  
  16. **  
  17. Before Frege's time, all of Aristotelian logic worried about objects that had properties. But it wasn't possible to express a relationship between two objects. Frege changed that. Steve Jobs is a successor to Frege.
  18. --> Tom Atwood. In: 
  19. Daniel Miles Kehoe :  Logical Partner, NeXTWORLD, June/July 1993, pp. 9,13  
  20.  
  21.  
  22.                                                   SETL
  23.  
  24. The essence of Mathematics lies in its freedom.
  25. --> George Cantor
  26.  
  27.                                                  1. ISETL
  28.  
  29. VERSION - UPDATE: 3.0 (09-11-91)                                 
  30.  
  31. README:
  32. "This version was compiled with Think-C (c) Symantec Screen Editor based on the THINK C Class Library. The interactive line editor was derived from ILE  written by Robert C. Pendleton (c) 1988, Evans & Sutherland.
  33. This program was developed while the author was a member of the Clarkson faculty, using the Z200 provided by the school.  West Publishing has provided a Macintosh for further refinement of the Mac version.  West has also provided support for the development of the PC and Mac graphics features.
  34. There are many people who have contributed to the ideas behind ISETL.  First and foremost is Ed Dubinsky, whose idea it was to use SETL for teaching Discrete Mathematics.  His dissatisfaction with the old implementation suggested this project.  Others include: Nancy Baxter, Don Muench, and that mysterious bunch that we just call IWEST."
  35.  
  36. AUTHOR:
  37. Gary Marc Levin
  38.     
  39. COPYRIGHT:
  40. (c) Gary Marc Levin 1987 - 1990
  41.  
  42. TYPE:
  43. Freeware
  44.  
  45. INTERNET SITES:
  46. Original site:
  47. ftp://sun.soe.clarkson.edu/pub/ISETL/Mac/
  48.  
  49. Other sites (mirrors):
  50. ftp://archives.math.utk.edu/software/mac/progLanguages/ISETL/
  51. ftp://archives.math.utk.edu/software/mac/logic/ISETL/
  52. ftp://archives.math.utk.edu/software/mac/discreteMath/ISETL/
  53. ftp://ftp.gwdg.de/pub/languages/isetl/clarkson.edu/isetl/Mac/
  54. ftp://ftp.gwdg.de/pub/languages/isetl/clarkson.edu/isetl/mac/
  55. ftp://ftp.ae.keio.ac.jp/pub/lang/ISETL/mac/
  56.  
  57.  
  58.                                       2. SETL2
  59.  
  60.                                                 MacSETL2                                      
  61.  
  62. VERSION - UPDATE: Setl2 Version 2.2  (09-11-90)                               
  63.  
  64. README:
  65. "The Macintosh implementation of SETL2 runs as a tool in the MPW Development Environment.  It will not run as a stand-alone application, so MPW is absolutely required.  MPW is available from the Apple Programmers and Developers Association (APDA), run by Apple.  It provides a Unix-like shell for the Mac, and therefore allows SETL2 to use the same user-interface for the Mac which it uses for other implementations."
  66.  
  67. AUTHOR :
  68. Kirk Snyder
  69.     
  70. COPYRIGHT:-
  71.  
  72. TYPE:
  73. Freeware
  74.  
  75. INTERNET SITES:
  76. Original site:
  77. ftp://cs.nyu.edu/pub/languages/setl2/
  78.  
  79. Other site (mirror):
  80. ftp://ftp.gwdg.de/pub/languages/nyu.edu/setl2/                                         
  81.  
  82.  
  83.                                                Yorick
  84.  
  85. An architect fellow named Yoric
  86. Could, when feeling euphoric,
  87. Display for selection
  88. Three kinds of erection:
  89. Corinthian, ionic, and doric.
  90. --> ?
  91.  
  92.                                               MacYorick
  93.   
  94. VERSION - UPDATE: 1.2vr1 (Feb. 96)
  95. (68k [fpu+nofpu] +PPC)                                 
  96.  
  97. README:
  98. "Yorick is a tool for analyzing numerical data. It has an interpreter that uses a C-like language and can operate on entire arrays without any need for do loops over the array indices. Yorick has a file I/O package with the ability to conveniently read text files with columns of numbers. The file I/O package can easily be trained to read a wide variety of binary and text files, if the formatting rules for the file are known. Yorick also has a 2D graphics package that includes polylines, contour plots, cell arrays, and filled mesh plots."
  99. "macyorick has all the bug fixes in the 1.2 release of yorick for Unix plus fixes for the first two bugs found in release 1.2." 
  100.  
  101. AUTHORS:
  102. Unix:
  103. D. Munro
  104. mac port:
  105. S. Langer
  106.     
  107. COPYRIGHT:
  108. (c) 1994 The Regents of the University of California
  109.  
  110. TYPE:
  111. Freeware
  112.  
  113. INTERNET SITES:
  114. Original site:
  115. ftp://icf.llnl.gov/pub/Yorick/macintosh/
  116.  
  117. Other sites (mirrors):
  118. ftp://wuarchive.wustl.edu/languages/yorick/macintosh/
  119. http://wuarchive.wustl.edu/languages/yorick/macintosh/
  120. ftp://ftp.sterling.com/wuarchive/languages/yorick/macintosh/
  121.  
  122. Other sites:
  123. Info-Mac
  124. UMich                                                                                                     
  125.  
  126.  
  127.